verifier.c revision b06723da
1