verifier.c revision 55e7f3b5
1