Symbol: SV_CURPROC_ABI