extern printf = (ptr, i64) => i64; let main = () => i64 { let print_one = () => i64 { printf("%d", 1); return 4; }; let y = print_one() + 2; printf("%d", y); return y; };