let
field f =
"field_"
^f.
Cil_types
.fname^
"_"
^f.
Cil_types
.fcomp.
Cil_types
.cname