verifier.c revision 3091b667
1