verifier.c revision 47a71c1f
1