Yes, this is the best answer. This also works with `-fsanitize=unsigned-integer-overflow`.