PRT_DUP3_FD
farg0 = PRT_DUP3_FD;
} else if (fd != PRT_DUP3_FD) {
if (!pr_target_check_fd("injected F_DUP3FD", PRT_DUP3_FD,