nat[6] fixed_size = [1, 2, 3, 4, 5, 6];
nat i = 0;
//while (i < fixed_size.length) {
while (i < 6) {
print(fixed_size[i] as str);
print(" ");
i = i + 1;
}
print("\n");
// for (i in fixed_size) {
// print(i as str);
// print("\n");
// }
halt;