Simple formatting tool for header files