inst_fmri_to_svc_fmri
sfmri = inst_fmri_to_svc_fmri(fmri);
char *inst_fmri_to_svc_fmri(const char *);