verifier.c revision 48cac3f4
1