// `x + x` and `x * 2` are equivalent over bit-vector arithmetic. Different
// ops, same semantics — a clean Type-4 case.

int dbl_a(int x) { return x + x; }
int dbl_b(int x) { return x * 2; }