verifier.c revision e4730423
1