void dummy_file_function(int a)
{
}