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