  TYPE
    oft$refreshing_displays = (ofc$null_display, ofc$ij_display,
          ofc$ijd_display, ofc$aj_display, ofc$jl_display, ofc$sl_display,
          ofc$ms_display, ofc$gs_display, ofc$ts_display, ofc$tr_display,
          ofc$pa_display, ofc$ac_display, ofc$file_server_display,
          ofc$om_display, ofc$tm_display);

