contract test {
    u32 x;
    u256 v;
    u32 global_a;
    u32 global_b = 32;
    u32 global_c = global_b;
    fn f() -> (u256 r) {
        u256 a = 6;
        r = a;
        r += (a++) * 0x10;
        v = 3;
        r += (v++) * 0x1000;
    }
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// f()  -> 0x053866