Pike/7.6/lib/7.4/modules/Tools.pmod
