#include <stdio.h>

volatile signed int x9 = 7781;

int main (void)
{
	int rc = 0;
	signed int test = 0;
	signed short x0 = -564;

	test = (((x9>=(unsigned int)8828)<<(x0>(unsigned long)432129))>=(signed int)-564);

	if(test == 1)
	{
		printf("@OK@\n");
		printf("%d\n",test);
	}
	else
	{
		rc = 1;
		printf("@NG@\n");
		printf("%d\n",test);
	}

	return rc;

}