Pike/7.0/lib/modules/Tools.pmod
