verifier.c revision d7af7e49
1