Cyclone was not fully realized though. And there are languages that try to keep to C and add some minor safety improvements, eg my language C3 (subarrays/slice

Cyclone was not fully realized though. And there are languages that try to keep to C and add some minor safety improvements, eg my language C3 (subarrays/slices, contracts, all UB has runtime checks in debug builds and more)