// Clause: 6.5 — If a signed arithmetic operation overflows (result not representable), behavior is undefined.
#include <limits.h>
#include <stdio.h>
int main(void){
    volatile int a = INT_MAX/2 + 1;
    volatile int b = 3;
    int c = a * b; // UB: likely overflow
    printf("%d\n", c);
    return 0;
}