long main(int argc, char **argv) {
	return 43 >> 2;
}