Loop through the elements in the array using a for loop.
int myNumbers[] = {25, 50, 75, 100};
int i;
@(3) (i = 0; i < 4; i++) {
printf("%d\n", @(12));
}
int myNumbers[] = {25, 50, 75, 100};
int i;
for (i = 0; i < 4; i++) {
printf("%d\n", myNumbers[i]);
}