Symbol: rseq_execve