----------------------------------------------------------
#include <stdio.h>


int main (void)
{
	int rc = 0;
	signed int test = 0;
	volatile signed long long x5  = -3786LL;

	test = (x5>(((signed long long)0LL/x5)-x5));

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

	return rc;

}