verifier.c revision 7e57fbb2
1