// Clause: 7.24.2.3 — If copying takes place between overlapping objects, strcpy is UB.
#include <string.h>
#include <stdio.h>
int main(void){
    char s[16] = "hello";
    strcpy(s+1, s); // UB
    puts(s);
    return 0;
}