Isn't C what they use to program operating systems?