+namespace simgrid::smpi::utils {
+
+XBT_PUBLIC void add_benched_time(double time);
+XBT_PUBLIC void account_malloc_size(size_t size, std::string_view file, int line, const void* ptr);
+XBT_PUBLIC void account_shared_size(size_t size);
+XBT_PUBLIC void print_time_analysis(double time);
+XBT_PUBLIC void print_buffer_info();
+XBT_PUBLIC void print_memory_analysis();
+XBT_PUBLIC void print_current_handle();
+XBT_PUBLIC void set_current_handle(F2C* handle);
+XBT_PUBLIC void set_current_buffer(int i, const char* name, const void* handle);
+XBT_PUBLIC size_t get_buffer_size(const void* ptr);
+XBT_PUBLIC void account_free(const void* ptr);
+XBT_PUBLIC int check_collectives_ordering(MPI_Comm comm, const std::string& call);