verifier.c revision 9e4c24e7
1