What does a conventional include guard guarantee?

What does a conventional include guard guarantee?

1. The header body is processed at most once in each translation unit.
2. The header creates one runtime module for the whole program.
3. Definitions in the header have one program-wide storage instance.
4. Circular dependencies on complete types are resolved automatically.