1-- { dg-do run } 2-- { dg-options "-O2" } 3 4with Ada.Calendar; 5with Opt70_Pkg; 6 7procedure Opt70 is 8 T : Ada.Calendar.Time := Ada.Calendar.Time_Of (2001, 10, 31); 9begin 10 if Opt70_Pkg.Image (T, "%y") /= "01" then 11 raise Program_Error; 12 end if; 13end; 14