verifier.c revision 8e17c1b1
1