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