verifier.c revision 430e68d1
1