I'm interested in that. Even a Cyclone update with modern, type systems. There was a paper that added meta-programming to C partly for program analysis-like pu

I'm interested in that. Even a Cyclone update with modern, type systems. There was a paper that added meta-programming to C partly for program analysis-like purposes. Everyone ignored it when I shared it. Later, I found out one or more of them built Coverity. Another did a C/C++-compatible LISP that output C. If nothing else, I'd like to see metaprogramming, strong typing with optional dynamic (or type inference), type/linker-safe modules, Rust-like safety, optional GC (concurrent) for productivity, something for concurrency, amenable to static analysis, and outputs normal C (or C++). Much of this might be done with a small set of features. Note: Modula-3, Myrddin, and Zig are all worth looking at for smallish alternatives to C and C++.