I'm sure the issue of labels at the end of blocks has come up before, and I was going to comment tomorrow when I've had a chance to look at the ANCI C def.