execFSM to execVM