// Header3.h - Empty.