verifier.c revision d96d937d
1