verifier.c revision 58e2af8b
1