// Clause: 6.5 — Signed subtraction overflow is undefined behavior.
#include <limits.h>
#include <stdio.h>
int main(void){
    volatile int a = INT_MIN;
    volatile int b = 1;
    int c = a - b; // UB
    printf("%d\n", c);
    return 0;
}