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;
}
for (i in array) {
print(i as str);
halt;