let base = function
      | Loc(x,_) -> D.Xindex.get_ind x
      | Addr p -> model_base p