t5_display_tcb_aux_0
t5_display_tcb_aux_0(tvp,aux);
extern void t5_display_tcb_aux_0(_TCBVAR *tvp,int aux);