Symbol: RISCV_ISA_EXT_a