Initial versions of the additional header files