Procedures can be called anywhere in the input. The syntax is the same as for commands (cf. section 3.2), except that the procedure name replaces the command name.
PROCEDURE
No options are allowed on procedure calls. However, specific options may be set using directives within the procedure, and these are then valid for all programs within the procedure which follow the directive. When execution of the procedure is finished, the previous global options are restored. The hierarchy in which options are processed is as follows:
Global options
Options in procedures
Command line options
Options given on directives within a command block
The last option set is then actually used. Thus, options specified on command lines or within command blocks have preference over procedure options, and procedure options have preference over global options.