3 package Controlled_Record is
5 type Point_T is limited private;
6 procedure Assert_Invariants (PA : Point_T);
10 type Coords_T is array (1 .. 2) of Natural;
12 type Point_T is new Ada.Finalization.Controlled with record
13 Pos : Coords_T := (0, 0);
16 end Controlled_Record;