#include <iostream>

void a1()
{
    std::cout << "a1" << std::endl;
}