p4verify.sh #9