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

let print_input = (input_a: i64, input_b: i64) => i64 {
	printf("%d", input_a);
	printf("%d", input_b);
	return input_a + input_b;
};

let main = () => i64 {
	let i = print_input(1,4);
	return print_input(7, 2) + i;
};