verifier.c revision 45a73c17
1