verifier.c revision 7f6e4312
1