tee(0xffffffffffffffff, 0xffffffffffffffff, 0x2, 0x0)