6 function Id_I
(I
: Integer) return Integer is
11 A
: array (Integer range -4..4) of Integer;
14 A
:= (-ID_I
(4), -ID_I
(3), -ID_I
(2), -ID_I
(1), ID_I
(100),
15 ID_I
(1), ID_I
(2), ID_I
(3), ID_I
(4));
17 if A
/= (100, 1, 2, 3, 4, 1, 2, 3, 4) then