verifier.c revision 0c17d1d2
1