Symbol: __riscv_has_extension_unlikely