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);
}
halt;