let basename x =
         let name = F.Compinfo.basename  x.fcomp in
           (name^"_"^x.fname)