verifier.c revision 3f50f132
1