Why use the extension `.hrl`?