t4_display_tcb_aux_1
extern void t4_display_tcb_aux_1(_TCBVAR *tvp,int aux);
if (1==aux) t4_display_tcb_aux_1(tvp,aux);