[uecker]

Why? I do not find the wording in the C standard less clear than the C++ wording (where the result is unspecified for unrelated pointers).