#include <stdio.h>

int main(void) {
	volatile int a[1];
	puts("test1");fflush(stdout);
	a[1234567] = 123;
	puts("test2");fflush(stdout);
	printf("test3 %d\n", a[1234567]);fflush(stdout);
	return 0;
}