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;