verifier.c revision 59e2e27d
1