proc printf(formatstr: cstring){.header: "", varargs.} proc scanf(formatstr: cstring){.header: "", varargs.} for i in 0..999: printf("%03d\n",i) let s = stdin.readLine() if s[0] == 'u': break