let model_zrange_of_addr_range : D.integer -> D.integer -> D.integer -> dzone = D.e_app3 "zrange_of_addr_range"