        IF file_id_is_valid AND
          (file_instance <> NIL) THEN
          IF file_instance^.device_class =
            rmc$terminal_device THEN
            st_open_file_dsc_pointer :=
            file_instance^.st_open_file_dsc_pointer;
          ELSE
            osp$set_status_abnormal (ifc$interactive_facility_id,
              ife$file_name_not_terminal,
              file_instance^.local_file_name,status);
          IFEND;
        ELSE
          osp$set_status_abnormal (ifc$interactive_facility_id,
            ife$file_name_not_terminal,
            'NON_TERMINAL_FILE',status);
        IFEND;
