#include "long_command_line_file09.hh" #include void f9() { std::cout << "hello from f9()\n"; }