+}
+
+/**
+ * @brief Check if a process is initialized
+ */
+int smpi_process_initialized(void)
+{
+ int index = smpi_process_index();
+ return((index != -100) && (index!=MPI_UNDEFINED) && (process_data[index]->initialized));
+}
+
+/**
+ * @brief Mark a process as initialized (=MPI_Init called)
+ */
+void smpi_process_mark_as_initialized(void)
+{
+ int index = smpi_process_index();
+ if((index != -100)&& (index!=MPI_UNDEFINED))process_data[index]->initialized=1;