#include void a2() { std::cout << "a2" << std::endl; }