verifier.c revision 42d31dd6
1