verifier.c revision 4976b718
1