Void put(File handle, String val)
handle: A file handle opened for writing or appending
val: The string to write
Write a string to a file. Unlike putStr this will not write a NULL terminator to the file, and so should be used when dealing with non-binary files.
put(stdout,str) is equivalent to