let value_of = function
  | Some(x) -> x
  | _ -> assert false