#include <stdio.h>

int main( void )
{  FILE *f;
   fileno( f );
   return 0;
}