verification program for PRCv8