| package Dse_Step is | |
| type Counter is record | |
| Value : Natural; | |
| Step : Natural; | |
| end record; | |
| pragma Suppress_Initialization (Counter); | |
| procedure Do_Step (This : in out Counter); | |
| pragma Inline (Do_Step); | |
| type My_Counter is new Counter; | |
| pragma Suppress_Initialization (My_Counter); | |
| procedure Step_From (Start : in My_Counter); | |
| Nsteps : Natural := 12; | |
| Mv : Natural; | |
| end; |