asm elibc_musl gmp kernel_linux riscv
