void f1()
{
	file *f = new file("toto");
	use(f);
	delete f;
}