extern printf = (*i64, varargs) => 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; };