import "!stdlib.src"; let print_input = (input_a: i64, input_b: i64) => i64 { println("%d", input_a); println("%d", input_b); return input_a + input_b; }; let main = () => i64 { let i = print_input(1,4); return print_input(7, 2) + i; }; /* Expected stdout: 1 4 7 2 Expected return: 14 */