verifier.c revision ab3f0063
1