XBT_PRIVATE void TRACE_smpi_setup_container(int rank, const_sg_host_t host);
XBT_PRIVATE void TRACE_smpi_sleeping_out(int rank);
XBT_PRIVATE void TRACE_smpi_setup_container(int rank, const_sg_host_t host);
XBT_PRIVATE void TRACE_smpi_sleeping_out(int rank);