verifier.c revision 457f4436
1