verifier.c revision 16d1e00c
1