import stdio import t, c def for_test() -> int: for j in range(5): stdio.printf("for: j=%d\n", j) return 0