Move header-like stuff to a new header file.