let field_of finfo = Fmap.find finfo (snd (Record.obtain finfo.fcomp))