//PARAM: --disable ana.int.interval --disable ana.int.def_exc --enable ana.int.enums
int main (int argc, char* argv[])
{
    // NOCRASH: This used to cause an exception because of incompatible ikinds
    // See https://github.com/goblint/cil/issues/29
    signed char f2 = 7;
    signed char l_1857 = ((0xFFBD4A17L && f2) | f2);
}
