abi_x86_32 asm elibc_musl gmp kernel_linux x86
