nat[6] fixed_size = [1, 2, 3, 4, 5, 0];

repair(fixed_size);

nat i = 0;
while (i < fixed_size.length) {
   print(fixed_size[i] as str);
   if (i < fixed_size.length - 1) {
      print(" ");
   }
   i = i + 1;
}
print("\n");

// for (i in fixed_size) {
//    print(i as str);
//    print("\n");
// }

halt;

function repair(nat[6] arr) {
   if (!arr[5]) {
      arr[5] = 6;
   }
}

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

function pln(str string) {
    print(string);
    write = '\n';
}