/* Header replacement file */