statement_label

A statement_label identifies a statement using its source label. The specification of a qualified statement label includes all containing compile unit names or block names, and can optionally begin with a load module name qualifier. For example:

mod::>proc1:>proc2:>block1:>start

The form of a label depends on the current programming language:

• In C and C++, labels must be valid identifiers.
• In COBOL, labels must be valid identifiers and can be qualified with the section name.
• In PL/I, labels must be valid identifiers, which can include a label variable.