int main(void) {
	if ((unsigned char)0x100)
		return 1;
	return 0;
}