Please include the `; (We use ".proc" because we want to define both a label and a scope.)` from the source of this unusual usage of `.proc`.