Symbol: rseq_abi