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