Symbol: dis_riscv_sign_extend