Copyright
Digital Equipment Corp.
All rights reserved.
Argument
file_ptr A file pointer.