#include <stdio.h>

int main(int argc,char**argv)
{
	FILE *fp = fopen("o2","w");
	fprintf(fp, "%08x %08x\n", (int)_get_osfhandle(0),(int)_get_osfhandle(1));
	close(0);
}