C does give a lot of low-level control, but it is still an abstraction - as it should be.

Signed integer overflow is something were I personally like that it is UB, because I can turn on UBSan and find overflow bugs. If it were defined to wrap-around I could not do this.