verifier.c revision da03e43a
1