verifier.c revision 390ee7e2
1