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