Symbol: t4_display_tcb_aux_0