let
upd_field (s:record) f v : record =
RecName
.define f.
Cil_types
.fcomp ; e_setfield f s v