verifier.c revision b00628b1
1