Module Abi_riscv_relocation