verifier.c 447 KB