// Clause: 7.24.2.4 — strncpy overlapping source and destination is undefined behavior.
#include <string.h>
#include <stdio.h>
int main(void){
    char s[16] = "abcdef";
    strncpy(s+1, s, 6); // UB
    puts(s);
    return 0;
}