verifier.c revision e0bf4622
1