extern printf = (ptr, i64) => i64; let main = () => i64 { let counter = 0; while counter < 10 { printf("%d", counter); counter = counter + 1; }; while true { if counter == 10 { return counter; }; }; return 1; };