separate (Test_Program_Generation)
function Temp_File_Name return String is
begin
    return "!machine.temporary.temp_unit_test_gen_output";
end Temp_File_Name;