The "S 0" serves the same purpose as the master program, defining the start state of the submachine. Each submachine can be written with its own internal states and commands which will not affect the larger program. A submachine can be called in master program using the command: