let valOf = function
      None -> failwith "valOf"
    | Some v -> v