@lyse … and I realized only now that that’s the guy behind godbolt.org? I never assumed “godbolt” to be a human name, more like some kind of wordplay. 🥴