verifier.c revision 3bda08b6
1