abi_x86_64 amd64 elibc_glibc gmp kernel_linux userland_GNU
