namespace;

// the stage 0 compiler (src/tools/zc0.c) has no types. it reads them and throws
// them away, so a typed program and the same program without the types come
// out as the same image. tests/programs/zc0typed.zc is this file with the types on.
let total;
let table[8];
let names;
const LIMIT = 10;

fn add(a, b) { return a + b; }
.u grow(v, n) { return v; }
fn keep(.d x, .m y) { return x != y; }
fn apply(f, p, q) { return f(*p); }
fn sq(x) { return x * x; }

fn start() {
	let i = 0, sum = 0;
	let a[4];
	let p = a;
	for (let j = 0; j < LIMIT; j++) sum = add(sum, sq(j));
	while (i < 4) { a[i] = i; i++; }
	total = sum + a[3] + table[2];
	return total;
}