program tarray16;

{$mode delphi}

{$ifdef InLazIDE}
function CheckArray(aArr, aExpected: array of LongInt): Boolean;
{$else}
function CheckArray<T>(aArr, aExpected: array of T): Boolean;
{$endif}
var
  i: LongInt;
begin
  if Length(aArr) <> Length(aExpected) then
    Exit(False);
  for i := Low(aArr) to High(aArr) do
    if aArr[i] <> aExpected[i] then
      Exit(False);
  Result := True;
end;

var
  v1: array of LongInt = Nil;
  v2: array of LongInt = [];
  v3: array of LongInt = [1, 2, 3];
  v4: array of String = ['Alpha', 'Beta', 'Gamma', 'Delta'];
  v5: array[0..2] of array of LongInt = (Nil, [], [1, 2, 3]);
  // these do not work in Delphi
  //v6: array of array[0..2] of LongInt = [(1, 2, 3), (4, 5, 6)];
  //v7: array[0..2] of array of array[0..2] of LongInt = ([(1, 2, 3), (4, 5, 6)], [], [(7, 8, 9)]);

var
  res: Boolean;
begin
  if Length(v1) <> 0 then
    Halt(1);
  if Length(v2) <> 0 then
    Halt(2);
{$ifndef InLazIDE}
  res := CheckArray<LongInt>(v3, [1, 2, 3]);
  if not res then
    Halt(3);
  res := CheckArray<String>(v4, ['Alpha', 'Beta', 'Gamma', 'Delta']);
  if not res then
    Halt(4);
  if Length(v5[0]) <> 0 then
    Halt(5);
  if Length(v5[1]) <> 0 then
    Halt(6);
  res := CheckArray<LongInt>(v5[2], [1, 2, 3]);
  if not res then
    Halt(7);
  {if Length(v6) <> 2 then
    Halt(8);
  res := CheckArray<LongInt>(v6[0], [1, 2, 3]);
  if not res then
    Halt(9);
  res := CheckArray<LongInt>(v6[1], [4, 5, 6]);
  if not res then
    Halt(10);
  if Length(v7[0]) <> 2 then
    Halt(11);
  if Length(v7[1]) <> 0 then
    Halt(12);
  if Length(v7[2]) <> 1 then
    Halt(13);
  res := CheckArray<LongInt>(v7[0, 0], [1, 2, 3]);
  if not res then
    Halt(14);
  res := CheckArray<LongInt>(v7[0, 1], [4, 5, 6]);
  if not res then
    Halt(15);
  res := CheckArray<LongInt>(v7[2, 0], [7, 8, 9]);
  if not res then
    Halt(16);}
  v3[1] := 42;
  res := CheckArray<LongInt>(v3, [1, 42, 3]);
  if not res then
    Halt(17);
{$endif}
  Writeln('ok');
end.