verifier.c revision 7de16e3a
1