Shaun Jackman writes: > gcc does not provide > stdint.h (since it's target dependent), Just because a header is target dependent doesn't mean gcc can't provide it. In the case of stdarg.h gcc is the only logical provider of it. If one wants to understand why gcc leaves it to libc to provide stdint.h I suggest asking gcc@gcc.gnu.org. Offhand, I dunno why.