Towards Threading the Needle of Debuggable Optimized Binaries. - Cristian Assaiante; Simone Di Biasio; Snehasish Kumar; Giuseppe Antonio Di Luna; Daniele Cono D'Elia; Leonardo Querzoni (CGO, 2026)