Assigns a name to a control loop. A beginning label used with the
    LEAVE statement lets you perform a controlled exit from a loop. A
    named loop is called a labeled loop statement. If you include an
    ending label, it must be identical to its corresponding beginning
    label. A beginning label must be unique within the procedure in
    which the label is contained.