let
f_suffixe f = (f.
Cil_types
.fname)^
"_"
^(f.
Cil_types
.fcomp.
Cil_types
.cname)