#include "long_command_line_file13.hh"

#include <iostream>

void f13() { std::cout << "hello from f13()\n"; }