verifier.c revision 79dbabc1
1