A variety of useful header files.