let string_of_opt = function
  None -> ""
| Some s -> s