#include <stdio.h>

int main(void) { 
	int x[3] = {123,456,789};
	printf("%d\n", x[0]);
	printf("%d\n", x[1]);
	printf("%d\n", x[2]);
	return 0;
}