verifier.c revision 0789e13b
1