verifier_helper_restricted.c 6.71 KB