contract test {
    fn run(bool a, u32 b, u64 c) ->(u256 y) {
        if (a) y = 1;
        y = y * 0x100000000 | ~b;
        y = y * 0x10000000000000000 | ~c;
    }
}