Any statement may be labeled by writing in front of it an identifier and a colon. The scope of the label is the smallest block embracing the statement which is labeled, extending from BEGIN to END. Thus labels can be used before they have been set. It also follows that the only means of entering an inner block is through its BEGIN. It is possible to jump into an outermost block from a different segment by the use of a COMMON label (or switch or procedure).