asm elibc_glibc gmp ia64 kernel_linux
