rseq(0x0, 0xfffffffffffffd88, 0x2000000002, 0x0)