I'd be quite interested to read that post, given that one of the big UB hammers is strict aliasing which gets used a _lot_