verifier.c revision 46f8bc92
1