void f2();