+/* instr_routing.c */
+container_t newContainer (const char *name, e_container_types kind, container_t father);
+container_t getContainer (const char *name);
+type_t newContainerType (const char *typename, e_entity_types kind, type_t father);
+type_t newEventType (const char *typename, e_entity_types kind, const char *color, type_t father);
+type_t newVariableType (const char *typename, e_entity_types kind, const char *color, type_t father);
+type_t newLinkType (const char *typename, e_entity_types kind, type_t father, type_t source, type_t dest);
+type_t newStateType (const char *typename, e_entity_types kind, type_t father);
+type_t getType (const char *name);
+void destroyContainer (container_t container);
+void instr_routing_define_callbacks (void);
+int instr_link_is_traced (const char *name);
+char *instr_variable_type (const char *name, const char *resource);
+char *instr_resource_type (const char *resource_name);
+void instr_destroy_platform (void);
+void instr_new_user_variable_type (const char *new_typename, const char *color);
+void instr_new_user_link_variable_type (const char *new_typename, const char *color);
+void instr_new_user_host_variable_type (const char *new_typename, const char *color);
+int instr_platform_traced (void);
+
+#endif /* HAVE_TRACING */
+#endif /* INSTR_PRIVATE_H_ */