A Compiler Bug (2023)