C and C++ are very powerful and expressive programming languages. Even so, these languages lack the power to express certain programming details that can be critical to achieving good compiler ...