verifier.c revision 0e6491b5
1