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

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

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

halt;