Writing a machine definition