veriexec_check_path
if (veriexec_check_path(script) == 0) {
int veriexec_check_path(const char *);
error = veriexec_check_path(*argv);
if (veriexec_check_path(argv[optind])) {