external core_mesh   : t -> Core_mesh.t = "mesh_core_mesh"