Copyright Digital Equipment Corp. All rights reserved.
character The character to be written. file_ptr A file pointer to the output stream.