This is a pretty good way of describing what C programming is like: "It's not just that there are a lot of details in the C standard. It's written in terms of a

This is a pretty good way of describing what C programming is like: "It's not just that there are a lot of details in the C standard. It's written in terms of abstractions. Instead of telling you what the program means, it tells you what the program is permitted to mean."