Out of curiosity: is there any existing C implementation(s) in which a (standard) headers are not source files?

Reason of the question: C11, 7.1.2 Standard headers, footnote 182 (emphasis added):

A header is not necessarily a source file, nor are the < and > delimited sequences in header names necessarily valid source file names.