extern printf = (*i64, i64) => i64;

let main = () => i64 {
	let seventeen = 10 + 2 + 4;

	seventeen = seventeen + 1;

	printf("%d\n", seventeen);

	return seventeen;
};