Symbol: veriexec_get_path_label