Pike/7.0/lib/tools
