In practice, these headers are included only once, but it's a good practice to always use include guards.