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