I later discovered this to be stored differently in `/usr/lib/python2.7/dist-packages/vboxapi/VirtualBox_constants.py` accessible with e.g `virtualboxmanager.constants.MachineState_Running`, so there might be another way to convert machine states. 