// Clause: 7.24.3.1 — If the arrays overlap, behavior is undefined.
#include <string.h>
#include <stdio.h>
int main(void){
    char s[32] = "abc";
    strcat(s+1, s); // UB: overlapping arrays
    puts(s);
    return 0;
}