Warning! The page was not fully loaded, probably because of a network issue. It could be that not all functionalities work as expected. Please try reloading the page.
Files 2
Write a function write_file that takes a filename as input and prints “first line” and “second line” into this file.