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