Reverse C++11 header