let
field (l:loc) f =
Fields
.define f;
if
f.fcomp.cstruct
then
Tint
.shift_field l f
else
l