eftread_fopen
FILE *eftread_fopen(const char *fname, char *idbuf, size_t idbufsz);
Fp = eftread_fopen(Fileopened, ibuf, sizeof (ibuf));