@dysfun@social.treehouse.systems this made me curious if there are any formal analyzers for comparing pre-processor implementations and I stumbled across this paper: https://www.cs.ru.nl/bachelors-theses/2022/Alexander_Wolters___1022959___Formalizing_the_C_preprocessor.pdf eeeenteresting.