nat i = 0;

while (i < 10) {
    print(i as str);
    i = i + 1;
}
halt;

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