pb

timing, cleanup

OrdInt small cleanup

flush cerr before exit

cool, map finally works after a couple of decades ;-)

cleanup, const whitespace atoms

cleanup simplerbtree, whitespace

const, simplestring, no functional change

whitespace