TYPE
  rat$inst_table_index = 0..0ffff(16);

