fspick(0xffffffffffffffff, 0x0, 0x2f6da24dafc73475)