add some lines to the header file