verifier.c revision dd0bb688
1