Header files for building tests