int main(void) {
	return (unsigned char)0 < (unsigned char)256;
}