/usr/src/cmd/ptools/