// Clause: 6.3.2.3 / 6.5.3.2 — using a pointer that does not satisfy the alignment requirement of the referenced type is undefined.
#include <stdio.h>
#include <stdint.h>
#include <stddef.h>
int main(void){
    char buf[sizeof(int)*2];
    int *p = (int*)(buf + 1); // likely misaligned
    *p = 123; // UB on platforms requiring alignment
    printf("%d\n", *p);
    return 0;
}