let get_option = function None -> assert false | Some x -> x