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