verifier.c revision 09772d92
1