contract C {
    u256  a = 0x4200 >> 8;
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// a()  -> 0x42