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

if (!fixed_size[5]) {
   fixed_size[5] = 6;
}

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;