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;

function print(str string) {
    nat i = 0;
    while (i < string.length) {
        write = string[i];
        i = i + 1;
    }
    write = '\n';
}