9.44.6 Local Labels

Local labels may be defined in two ways:

Local labels thus defined may be redefined or automatically generated. The scope of a local label is based on when it may be undefined or reset. This happens when one of the following situations is encountered: