7 pragma Suppress_Initialization (Counter);
9 procedure Do_Step (This : in out Counter);
10 pragma Inline (Do_Step);
12 type My_Counter is new Counter;
13 pragma Suppress_Initialization (My_Counter);
15 procedure Step_From (Start : in My_Counter);
17 Nsteps : Natural := 12;