rseq(0xfffffffffffffffc, 0xffffffffffffff15, 0x0, 0x0)