Monster_vertex_algebra loading ...