verifier.c revision eb1f7f71
1