src/compat/riscv64