if 5 << 20 != 5242880 {
    panic("This should not happen");
}

if 5242880 >> 20 != 5 {
    panic("This should not happen");
}

if 23746523 & 3242342 != 2117954 {
    panic("This should not happen");
}

if 23746523 | 3242342 != 24870911 {
    panic("This should not happen");
}

if 23746523 ^ 3242342 != 22752957 {
    panic("This should not happen");
}

if (true ^ true) || (false ^ false)  {
    panic("This should not happen");
}

if 18446744073709551619.truncate() != 3 {
    panic("This should not happen");
}