Up: Miscellany
{ STOP } { EXIT }
The STOP or EXIT commands cause the program to terminate and to ignore all command that follow this command. This is useful for making temporary modifications to input files.