extern printf = (*i64, varargs) => i64; let main = () => i64 { let counter = 0; while counter < 10 { printf("%d\n", counter); counter = counter + 1; }; while true { if counter == 10 { return counter; }; }; return 1; }; /* Expected stdout: 0 1 2 3 4 5 6 7 8 9 Expected return: 10 */