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