verifier_helper_restricted.c 6.6 KB