let zrange loc n = match loc with | Loc l -> model_zrange l.base l.off n | Addr (p,_) -> model_zrange_of_addr_range p F.i_zero n