verifier.c revision befae758
1