execf
state.disc.disc.re_execf = execf;
const char *execf, *coref;
execf = NULL;
execf = optarg;
kd = kvm_openfiles(execf, coref, NULL, O_RDONLY, buf);