add RegisterMachine.hs