Framed_manifold loading ...