#include <iostream>
#include "additional_file.hpp"

int main()
{
    std::cout << "File name: " << __FILE__ << "\n"
              << "a = " << a << "\n";
    return 0;
}