fix labels in for loops, and only emit three ex handlers