3f8d67f ^
1 2 3 4 5 6 7 8 9 10 11 12
/* * Items: clearerr( * Standardized-By: SuS * Detected-by: gcc-4.4.3 + Linux */ #include <stdio.h> main(int arg, char **argv) { (void)clearerr(stdin); }