A programming language for developing operating systems.