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