verifier.c revision 97e03f52
1