Symbol: veriexec_get_pid_label