DWARF: https://dwarfstd.org/doc/Debugging%20using%20DWARF-2012.pdf

C++ templates are Turing-complete: https://matt.might.net/articles/c++-template-meta-programming-with-lambda-calculus/