main() {
	f(1, 2, 3, 4, 5, 6)
}

f(a Int, b Int, c Int, d Int, e Int, f Int) {
	g(f, e, d, c, b, a)
}

g(a Int, b Int, c Int, d Int, e Int, f Int) {
	assert a == 6
	assert b == 5
	assert c == 4
	assert d == 3
	assert e == 2
	assert f == 1
}