without_vmt_state spec