let zone_of_assignable = function | Xrange(x,ofs,sz) -> model_zrange x ofs sz | Ablock p -> model_zrange_of_addr_range p F.i_zero F.i_one | Arange(p,ofs,sz) -> model_zrange_of_addr_range p ofs sz