Suppose I have a series of labels in a function whose address is taken. I'd argue that we shouldn't be moving a block of code past one of those labels. But there doesn't currently seem to be any code to prevent that. Why?