// Clause: 7.24.3.1 — strcat with overlapping objects is UB.
#include <string.h>
#include <stdio.h>
int main(void){
    char s[32] = "abc";
    strcat(s, s); // UB
    puts(s);
    return 0;
}