[submodule "ABCMachine"]
	path = ABCMachine
	url = https://github.com/camilstaps/ABCMachine