verifier.c revision 34dd3bad
1