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