verifier.c revision ebf7d1f5
1