let N: int = 65536;
namespace std::convert(N);
    let int = [];

namespace Main(N);
	let af = |i| i % 256;
	let bf = |i| (i >> 8) % 256;
	col fixed A(i) { af(i) };
	col fixed B(i) { bf(i) };
	col fixed C(i) { (af(i) + bf(i)) & 0xff };


	col fixed a(i) { (i + 13) * 29 & 0xff };
	col fixed b(i) { (i * 17 + 3) & 0xff };
	col witness c;

	[a, b, c] in [Main::A, Main::B, Main::C];
	[b, a, c] in [Main::A, Main::B, Main::C];