Add a simple tool (written in C++11) to print out section numbers.