resource t()
	# former test 4
	type r = rec(int a; bool b);
	r a[3] = (r(3, true), r(4, false), r(17, true));
	for [ i = 1 to 3 ] {
		write(a[i].a, a[i].b);
	}

	# former test 5
	type s = rec(int a; int b[0:5]);
	s s1
	int  a1[0:5] = (1,2,3,4,5,6);
	s1 = s(5, a1);
	write(s1.a, s1.b[3]);
end