contract test {
    fn run(u256 x1, u256 x2, u256 x3) ->(u256 y) {
        u32 a = 0x1; u32 b = 0x10; u32 c = 0x100;
        y = a + b + c + x1 + x2 + x3;
        y += b + x2;
    }
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// run(u256,u256,u256): 0x1000, 0x10000, 0x100000  -> 0x121121