#include <stdio.h>

int main(int argc,char **argv)
{
	int i;
	FILE *fp = fopen("o", "w");
	fprintf(fp, "%08x %08x\n", (int)_get_osfhandle(0),(int)_get_osfhandle(1));
	for (i = 0;i < 1000;i ++) {
		printf("%010d\n",i);
		fprintf(fp,"%d\n",i);
		fflush(fp);
	}
}