Semantic reification: how to generate UB-free code with arbitrary control flow?github.com/connglli17 pointszsu20 days ago