// from gcc-libc stdlib.h and string.h
extern int abs (int __x) __attribute__ ((__nothrow__)) __attribute__ ((__const__)) ;
extern int ffs (int __i) __attribute__ ((__nothrow__)) __attribute__ ((const));

// from stdio.h
extern int vfscanf() asm("" "__isoc99_vfscanf")
     __attribute__ ((__format__ (__scanf__, 2, 0))) ;

// original:
//extern int vfscanf (FILE *__restrict __s, __const char *__restrict __format, __gnuc_va_list __arg)
//     __asm__ ("" "__isoc99_vfscanf")
//     __attribute__ ((__format__ (__scanf__, 2, 0))) ;