結果 : is signed integer overflow undefined behaviour