I know, and there are chibicc, kefir, etc. .. and I have my own experimental C compiler.

I would love to see how you handle variably-modified types, the way I retrofitted them onto chibicc never felt quite right, and I've never seen another non-gcc/clang compiler fully support noplate's VM type patterns.