The way he uses an intermediate type to store an opaque type in the stack is pretty nifty. Never thought of that one before (nor the risks of strict aliasing, that part is still pretty nebulous)

never thought of using incomplete types to declare opaque types ! The rest of the blog is way over the top for me ...

I'm fine with "just" `struct as strong type` part ...