int main(int argc, char **argv)
{
	__float128 a = 0.0, b = 1.0, c;

	c = a * b;

	return 0;
}