#include <stdio.h>
#include <stdint.h>

int32_t main(void);

int32_t main(void) {
	printf("example\n");
	return 0;
}