Some other content in the header file.