Symbol: veriexec_get_path_params