preprocessed headers