verifier.c revision 44e9a741
1