void pclose_ar_file(
Pint archive_id /* archive identifier */
)
Closes an archive file.
The file associated with archive_id is closed and archive_id is removed from the set of open archives. The archiving state is set to ARCL if no other archive file is open.
open archive file