verifier.c revision 482d548d
1