verifier.c revision 80847a71
1