let fi_name fi = let svar = fi_svar fi in svar.Cil_types.vname