verifier.c revision 404ad75a
1