typedef struct FILE FILE;

extern FILE * __attribute__((dllimport)) const stdout;

int main(int argc, char ** argv)
{
	fflush(stdout);
	return argc;
}