Symbol: UBSAN_TEST_CASE