verifier_global_ptr_args.c 3.95 KB