[tightbookkeeper]

There is only so much a compiler can do when any operation can result in a complex function call or variable sized data.