abi_x86_64 abi_x86_x32 amd64 asm elibc_glibc gmp kernel_linux
