// Clause: 6.5.8 — Left shifting a negative value has undefined behavior.
#include <stdio.h>
int main(void){
    int x = -1;
    int y = x << 1; // UB
    printf("%d\n", y);
    return 0;
}