Marks the end of a LOOP control loop. If you choose to
    include the optional ending label, it must match exactly its
    corresponding beginning label. An ending label must be unique
    within the procedure in which the label is contained.

    The optional ending-label argument makes multistatement
    procedures easier to read, especially in very complex
    multistatement procedure blocks.