Symbol: __riscv_has_extension_likely