verifier.c revision e1fad0ff
1