No, ChatGPT, the behavior of signed integer overflow in C is not "defined by the language standard". And this is not an HTLC (but close!). Happy to see that you can admit mistakes when corrected and apologize.