Their reasoning why there cannot be strictly conforming implementations of the language is also like that:<p>The C standard does not make any guarantees about the size of the call stack. But any program program needs to rely on this implementation-defined property (cf a pathological implementation were the initial call to main() already overflows) and thus cannot be strictly conforming.