Symbol: veriexec_check_path