begin
  var r1 := (1, 1);
  var r2 := (1, 1, 1);
  var r3 := (1, 1, 1, 1);
  var r4 := (1, 1, 1, 1, 1);
  var r5 := (1, 1, 1, 1, 1, 1);
  var r6 := (1, 1, 1, 1, 1, 1, 1);
  assert(r1.Item1 = 1);
  assert(r2.Item1 = 1);
  assert(r3.Item1 = 1);
  assert(r4.Item1 = 1);
  assert(r5.Item1 = 1);
  assert(r6.Item1 = 1);
end.