let get_model () = let m = Model.get () in try model_of_name m with Not_found -> abort "Unknown model '%s'" m