let t_of_sexp sexp =
    match sexp with
    | Sexp.Atom s -> M.of_string s
    | Sexp.List _ -> failwithf "t_of_sexp %s" (Sexp.to_string sexp) ()