verifier.c revision 97e6d7da
1