nat i = 0;

for (nat x in [0..10]) {
    print(x as str);
}

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