verifier.c revision 045edee1
1