XBT_PUBLIC(void) tmgr_finalize(void);
+XBT_PUBLIC(tmgr_trace_t) tmgr_trace_new_from_file(const char *filename);
+XBT_PUBLIC(tmgr_trace_t) tmgr_trace_new_from_string(const char *id, const char *input, double periodicity);
+
SG_END_DECL()
#ifdef __cplusplus