#pragma TASS input
double X;
#pragma TASS input
double Y;

void main()
{
	double x = X;
	double y = Y;
	double z;
	double t;
	double u;
	// x,y in [-1000,1000]
	z = x+y;
	t = z-x;
	assert t == y;
	u = t-y;
	assert u == 0;
}
