testsuite/gnat.dg/discr16_pkg.ads

package Discr16_Pkg is

  type ET3a is (E1, E2, E3, E4, E5);
  for ET3a use (E1=> 32_001, E2=> 32_002, E3=> 32_003,
                E4=> 32_004, E5=> 32_005);

end;