verifier.c revision 0d0e5769
1