if ((foo & 0x1FFF) > 0x1FFF)
    {
        error(MESSAGE, foo);
        return;
    }