basic vki-scnums-x86-gnu.h