

  TYPE
    oft$refresh_rate = (ofc$no_refresh, ofc$on_request, ofc$slow_refresh,
      ofc$fast_refresh);
