proc printf(formatstr: cstring){.header: "", varargs.} proc scanf(formatstr: cstring){.header: "", varargs.} var n :int32 scanf("%d\n",addr n) var p = 0 for _ in 0..