(And the behavior of any given C implementation is completely defined.)