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