external core_model   : t -> Core_model.t = "model_core_model"