> How do you know that code motion will not move things across the > pragmas in a backwards direction? How do the warnings know what line to report *now* ?