+/* from smpi_instr.c */
+void __TRACE_smpi_init (void);
+void TRACE_smpi_init (int rank);
+void TRACE_smpi_finalize (int rank);
+void TRACE_smpi_start (void);
+void TRACE_smpi_end (void);
+void TRACE_smpi_collective_in (int rank, int root, const char *operation);
+void TRACE_smpi_collective_out (int rank, int root, const char *operation);
+void TRACE_smpi_ptp_in (int rank, int src, int dst, const char *operation);
+void TRACE_smpi_ptp_out (int rank, int src, int dst, const char *operation);
+void TRACE_smpi_send (int rank, int src, int dst);
+void TRACE_smpi_recv (int rank, int src, int dst);
+
+/* from instr_config.c */
+int _TRACE_configured (void);
+int _TRACE_smpi_enabled (void);
+int _TRACE_platform_enabled (void);
+int _TRACE_msg_task_enabled (void);
+int _TRACE_msg_process_enabled (void);
+int _TRACE_msg_volume_enabled (void);
+char *_TRACE_filename (void);
+char *_TRACE_platform_method (void);
+void TRACE_global_init(int *argc, char **argv);
+
+/* from resource_utilization.c */
+void TRACE_surf_host_set_utilization (const char *name, smx_action_t smx_action, double value, double now, double delta);
+void TRACE_surf_link_set_utilization (const char *name, smx_action_t smx_action, double value, double now, double delta);
+void __TRACE_surf_resource_utilization_start (smx_action_t action);
+void __TRACE_surf_resource_utilization_event (smx_action_t action, double now, double delta, const char *variable, const char *resource, double value);
+void __TRACE_surf_resource_utilization_end (smx_action_t action);
+void __TRACE_surf_resource_utilization_initialize (void);
+void __TRACE_surf_resource_utilization_finalize (void);
+