Explain how it is that a header file may be read multiple times as a source file is compiled, even though that header file's name never appears in the source file.
