t4_display_tcb_aux_2
extern void t4_display_tcb_aux_2(_TCBVAR *tvp,int aux);
else if (2==aux) t4_display_tcb_aux_2(tvp,aux);