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