void
t(void)
{
	int		a = (double) 8;
}