let zrange loc n = match loc with | Model.Loc(x,k) -> model_zrange (D.Xindex.get_ind x) k n | Model.Addr p -> model_zrange_of_addr_range p zero n