kernel_getnfile
if ((Kflag && kernel_getnfile(a_outname, &defaultEs) == -1) ||
int kernel_getnfile(const char *, char ***);