verifier.c revision e3f87fdf
1