This is the AbstractMachine port of mynes (https://github.com/yaglo/mynes).