Symbol: SV_PROC_ABI