verifier.c revision 0d306c31
1