verifier.c revision 22c7fa17
1