namespace; include rt; // unbounded in all three places zc0 accepts it (and ignores): the unit, a // function prefix and a statement. both compilers print the same. unbounded; int[4] a; unbounded int get(int i) { return a[i]; } int main() { int i = 2, r = 0; a[2] = 40; unbounded r = get(i) + 2; unbounded { r = r + a[i - 2]; } rt.put_n(r); rt.put_c(10); return 0; }