p4verify.sh #8