Address https://github.com/riscv-non-isa/riscv-brs/issues/123 by andreiw · Pull Request #129 · riscv-non-isa/riscv-brs