/texhash
/solmake
/lib/toascii
