verifier.c revision 1ea47e01
1