Dummy commit to say that the set of optimizations dune recently cut Pi exe size from 345KB to 167KB. To quote GLaDOS: THIS WAS A TRIUMPH\!