verifier.c revision 7d1238f2
1