>pete wrote:
>
>>
>> Whether or not stdio.h exists as a file
>> in a C implementation is system dependent.
>> stdio.h is properly refered to as a "header"
>> rather than as a "header file"
>> when discussing C in general.
>
>Is that really the kind of information you want to emphasize to a
>beginner?

Well, I dunno. There's two pieces of information above:.

1) It is called a "header". 2) It need not be a plain file.

The first is important because its the correct terminology. The second is relevant because even popular compilers like MSVC can store headers in unexpected places, such as binary precompilation libraries.

-- Mark McIntyre

"Debugging is twice as hard as writing the code in the first place. Therefore, if you write the code as cleverly as possible, you are, by definition, not smart enough to debug it." --Brian Kernighan