added vki-scnums-gnu.h