verifier.c revision 866de407
1