#include <stdio.h>

const volatile signed long x9  = -669651L;

int main (void)
{
	int rc = 0;
	unsigned long test = 0;
	static const volatile unsigned int x5  = 6241536U;

	test = (x5%(x9%(signed long)-11L));

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

	return rc;

}