#include <stdio.h>

static signed long x1  = 919L;
static const volatile signed short x5  = -2;
const volatile unsigned long x8  = 21516339LU;

int main (void)
{
	int rc = 0;
	unsigned long test = 0;

	test = ((x8%x5)+x1);

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

	return rc;

}