verifier.c revision 541c3bad
1