verifier.c revision e4eda884
1