there's no chance for the lower-level near code generation to
reverse-SAT to eliminate the heap usage? (which would obviously be a
different optimization that might be useful in other ways too, if it
could be made to work) (did someone say that -fvia-C with gcc -O3
managed to do that sometimes?)
just an underinformed thought,
-Isaac