No mention of header-guards vs. `#pragma once`. I think we prefer the latter nowadays, right?