verifier.c revision 95a762e2
1