header3.h 36 Bytes
// Not a guarded header!

void f();