Symbol: setup_u3_ht_workarounds