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