namespace;
include rt;

// moves between owned locals and bounded lends of a local to a global.
word sink;
// the scratch buffer is lent to sink while helper reads it through the global.
int helper() { return sink[0] + sink[1]; }
int lend(int a, int b) {
	word buf = rt.new(4);
	buf[0] = a; buf[1] = b;
	word saved = sink;
	sink = m*buf;
	int s = helper();
	buf[0] = s;
	sink = saved;
	return buf[0];
}
// a replacement built in an inner block becomes the outer owner once the old one is released.
int grow(int n) {
	word r = rt.new(2);
	r[0] = n;
	if (n > 0) {
		word bigger = rt.new(8);
		bigger[0] = r[0] * 10;
		rt.free(r);
		r = bigger;
	}
	return r[0];
}
fn main() {
	rt.put_n(lend(3, 4)); rt.put_c(32);
	rt.put_n(grow(5)); rt.put_c(32);
	rt.put_n(grow(0)); rt.put_c(32);
	int i = 0;
	while (i < 100) { grow(i); i++; }
	rt.gc();
	rt.put_n(sink == 0); rt.put_c(10);
	return 0;
}