register-machine 565 Bytes