Arr : aliased constant array (1 .. 12) of Integer;