Modula-2 is interesting. It is basically the C many wished had been around in the 80s and 90s. Modula-2 has about the same expressiveness of C with pointers, structs, unions, and all that, but it has a stronger type system (tagged unions, mandatory casting, etc.), concurrency as part of the base language, an actual module system (like C++ just finally got in 2020...), and the typical clean lines of Wirth's designs - if you can get over the Wirth-style CAPITAL RESERVED WORDS and BEGIN and END, anyway.
Sadly Prof./St. Niklaus Wirth (patron of clarity, simplicity, and correctness) is no longer with us, but perhaps he or his elves might have been amenable to lowercase keyword support with boldface or color for readability.
A Modula-2 front end was added to GCC recently: https://news.ycombinator.com/item?id=34050597