Copyright
Digital Equipment Corp.
All rights reserved.
Argument
file_ptr A pointer to the file to be closed.