verifier.c revision 9e4e01df
1