Thanks for your pointless contribution.
Better type safety, templates, objects that can store state, lambdas, the ability to write more generic code (ie, auto, decltype). A massive library of pre-written code with common containers and algorithms. Compile-time computation. Etc. Etc. Etc.
And don't tell me that there is no program that will not benefit from any of these features. I find that extremely hard to believe. Most will benefit from at least one.
Also, you really don't need to be aware of exactly what happens in the executable when you write your code. That's the whole point of portability and genericness - write once, deploy anywhere. If you must know what something does, then you have violated this rule. Yes, I know there are sometimes you must know certain things. In embedded systems, for example, it is almost critical to know what memory ends up where (for example, embedded memory or sdram). But that's just one little detail. The rest you can mostly ignore.