verifier.c revision 3e30be42
1