
  CONST
    pfc$highest_alarm_table_index = 0ffff(16);

