gcc/testsuite/gnat.dg/array2.ads

package array2 is
  
  type RIC_TYPE is (RIC1, RIC2);
  for RIC_TYPE'SIZE use 32;
  
  function MAX return Integer;

end array2;