no need for a separate local_label stack, the scoping rules are exactly the same...