Register_machine