"write line ""hi there"" to file `f`","print('hi there', file=f)"