verifier.c revision 04514d13
1