verifier.c revision 32637e33
1