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 ))