new preprocessed headers