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