[turminal]

> The first 4 are implementation defined rather than undefined.

Third and fourth are only defined in some implementations.

[ryao]

That is fair for 4, although would explain why it is the case for 3?

[turminal]

If char is signed and ' ' * 13 is bigger than CHAR_MAX, you get UB by signed overflow.