verifier.c revision 4f7b3e82
1