Pike/7.6/lib/modules/Tools.pmod
