abi_x86_32 asm elibc_glibc gmp kernel_linux x86
