tee(0xffffffffffffffff, 0xffffffffffffffff, 0x0, 0xa9e6334d4e161307)