rseq(0x0, 0xfffffffffffffd31, 0xf7ffffffffffffc3, 0x0)