"Well, okay, there was the discussion the other day that C compilers can pull out loop invariants and other things. I wonder if we can just do this through codewalkers, macros and Coalton/CLTL2."

holy shit I really hate it in CL implementation can we get On the expressive power of programming languages for optimisations, you absolutely cannot do that through local macros

edit: or I guess you *can* but you need to wrap everything and you're writing a less crap CL source to source compiler, in which case STOP DOING THAT