verifier.c revision 96da3f7d
1