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