Semantic reification: how to generate UB-free code with arbitrary control flow?Comments on Hacker News | Source