verifier.c revision 00b85860
1