let field l f = if f.fcomp.cstruct then let pos = offset_of_field f in match l with | Model.Addr(b,d) -> Model.Addr(b,(F.i_add d pos)) | Model.Ptr p -> Model.Ptr (model_shift p pos) else l