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