semantic: First pass at labelled loops.