tee(0xffffffffffffffff, 0xffffffffffffffff, 0x0, 0x36dfeb32691e131c)