Symbol: __ubsan_handle_sub_overflow