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