machine State implementation