elevator with Manifest.mf