void TRACE_header(int basic, int size);
/* from paje.c */
+void TRACE_init(void);
+void TRACE_finalize(void);
void TRACE_paje_init(void);
void TRACE_paje_start(void);
void TRACE_paje_end(void);
void print_pajeNewEvent (paje_event_t event);
void print_TIPushState(paje_event_t event);
+void print_TICreateContainer(paje_event_t event);
+void print_TIDestroyContainer(paje_event_t event);
void TRACE_TI_start(void);
void TRACE_TI_end(void);
void TRACE_TI_init(void);