The device driver language defines a couple of statements to control the flow of execution within a procedure. There is an IF statement as well as a GOTO which refers to a label placed elsewhere in the procedure.