au_to_tid
(void) au_write(event->ae_event_handle, au_to_tid(&tid));
extern token_t *au_to_tid(au_generic_tid_t *);