int main(void)
{
    return (0xFF & 0x0F) == 15 ? 0 : 1;
}