type
  CI = const Int

var
  a: [3]CI := [1, 2, 3]
  b: [3]CI

begin
end.