verifier.c revision 57c3bb72
1