You'd be even more impressed if you saw just how little resources they have to use (ram, storage, cpu), or how old of a C standard they have to work with. I have a few friends that work on this.
High integrity computing is full of pain staking processes, exactly because no one trusts C developers to do the right thing.