contract C {
    fn test() -> (u256, u256) {
        u32 a = 0xffffffff;
        u32 x = u32(a);
        u32 y = x;
        x /= 0x100;
        y = y / 0x100;
        return (x, y);
    }
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// test()  -> 0xff, 0xff