Copyright
Digital Equipment Corp.
All rights reserved.
Arguments
character The character to be written. An object of type int. file_ptr A file pointer.