Where the TAPE VALUE is "call" and the ACTION is "MACHINE_NAME". Just like the master program, a submachine will exit if and only if the submachine reaches a state for which there are no commands, or the submachine reads a tape value for which the current state has no commands. Other than their educational benefits, submachines also serve the benefit of code organization.