abstractmachine
abstractmachine