8.3.2 Library Files A collection of object files grouped together for convenience, also called an archive.
