I don't find a function to print a string to file. Would somebody let me know what function I should use?