gen_filenms_from_fmri
if (gen_filenms_from_fmri(fmri, name, genfmri_filename,
if (gen_filenms_from_fmri(fmri, "pid", genfmri_filename,
if (gen_filenms_from_fmri(inst->fmri, "ctid", genfmri_filename,
if (gen_filenms_from_fmri(inst->fmri, "ctid", genfmri_filename,
r = gen_filenms_from_fmri(fmri, "ctid", genfmri_filename, NULL);
int gen_filenms_from_fmri(const char *, const char *, char *, char *);