verifier.c revision 35578d79
1