-XBT_PRIVATE int TRACE_needs_platform (void);
-XBT_PRIVATE int TRACE_is_enabled(void);
-XBT_PRIVATE int TRACE_platform(void);
-XBT_PRIVATE int TRACE_platform_topology(void);
-XBT_PRIVATE int TRACE_is_configured(void);
-XBT_PRIVATE int TRACE_categorized (void);
-XBT_PRIVATE int TRACE_uncategorized (void);
-XBT_PRIVATE int TRACE_msg_process_is_enabled(void);
-XBT_PRIVATE int TRACE_msg_vm_is_enabled(void);
-XBT_PRIVATE int TRACE_buffer (void);
-XBT_PRIVATE int TRACE_disable_link(void);
-XBT_PRIVATE int TRACE_disable_speed(void);
-XBT_PRIVATE int TRACE_onelink_only (void);
-XBT_PRIVATE int TRACE_disable_destroy (void);
-XBT_PRIVATE int TRACE_basic (void);
-XBT_PRIVATE int TRACE_display_sizes (void);
+XBT_PRIVATE bool TRACE_needs_platform (void);
+XBT_PRIVATE bool TRACE_is_enabled(void);
+XBT_PRIVATE bool TRACE_platform(void);
+XBT_PRIVATE bool TRACE_platform_topology(void);
+XBT_PRIVATE bool TRACE_is_configured(void);
+XBT_PRIVATE bool TRACE_categorized (void);
+XBT_PRIVATE bool TRACE_uncategorized (void);
+XBT_PRIVATE bool TRACE_msg_process_is_enabled(void);
+XBT_PRIVATE bool TRACE_msg_vm_is_enabled(void);
+XBT_PRIVATE bool TRACE_buffer (void);
+XBT_PRIVATE bool TRACE_disable_link(void);
+XBT_PRIVATE bool TRACE_disable_speed(void);
+XBT_PRIVATE bool TRACE_onelink_only (void);
+XBT_PRIVATE bool TRACE_disable_destroy (void);
+XBT_PRIVATE bool TRACE_basic (void);
+XBT_PRIVATE bool TRACE_display_sizes (void);