let offset loc te n =
    match loc with
      | Model.Addr(b,d) ->  Model.Addr(b,add_offset d te n)
      | Model.Ptr p -> Model.Ptr (model_shift p (n_size n te ))