rseq(&(0x7f00000001c0), 0x20, 0x0, 0x0)
r0 = gettid()
tkill(r0, 0x7)