t5_display_tcb_aux_3
else if (3==aux) t5_display_tcb_aux_3(tvp,aux);
extern void t5_display_tcb_aux_3(_TCBVAR *tvp,int aux);