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