can run peano 10 in 100 MB (instead of 1+ GB) of memory when linking against this. can run peano 11 in 1 GB of memory now. R=r DELTA=100 (44 added, 44 deleted, 12 changed) OCL=20504 CL=20553