namespace;
include rt;

// a fixed array T[n] with a variable index is checked against n. a loop whose
// test is the constant n proves the index and drops the check; a constant
// index is checked when it is compiled.
int main() {
	int[6] t; int i, s = 0, k = 6;
	for (i = 0; i < 6; i++) t[i] = i * i;
	for (i = 0; i < 6; i++) s = s + t[i];
	rt.put_n(s); rt.put_c(10);
	i = 2; rt.put_n(t[i] + t[5]); rt.put_c(10);
	i = 0;
	while (i <= k) { s = t[i]; i++; }
	rt.put_s("not reached\n");
	return 0;
}