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

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

	seventeen = seventeen + 1;

	printf("%d", seventeen);

	return seventeen;
};