verifier.c revision 61bd5218
1