nat i = 0; for (nat x in 10) { print(x as str); } for (nat j = 0; j < 10; j = j + 1) { print(j as str); }