Strong types in C

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)