void f() throw(bad_alloc);
void f() throw();
void f();