Symbol: dis_riscv_name