verifier.c revision be80a1d3
1