verifier.c revision 7e0dac28
1