void f2()
{
	file *f = new file("titi");
	use(f);
}