let
acc_field (s:record) (f:
Cil_types
.fieldinfo) =
RecName
.define f.
Cil_types
.fcomp ; e_getfield f s