gcc/testsuite/gnat.dg/no_caching.ads

   1 package No_Caching with SPARK_Mode is
   2    type Mult_Bit_Boolean is (NV_FALSE, NV_TRUE);
   3    for Mult_Bit_Boolean use (NV_FALSE => 16#55_AA#,
   4                              NV_TRUE => 16#AA_55#);
   5    procedure Handle (V : Mult_Bit_Boolean);
   6    procedure Do_Something;
   7    procedure Do_Something_Else;
   8 end No_Caching;