fspick(0xffffffffffffffff, 0x0, 0x65d8a0e9032edf87)