A busy beaver Turing machine.