// Clause: 7.24.2.1 — If copying takes place between objects that overlap, the behavior is undefined.
#include <string.h>
#include <stdio.h>
int main(void){
    char s[8] = "ABCDEFG";
    memcpy(s+1, s, 6); // UB: overlap
    puts(s);
    return 0;
}