-#include "src/mc/RemotePtr.hpp"
-
-namespace simgrid {
-namespace mc {
-
-/** Process index used when no process is available (SMPI privatization)
- *
- * The expected behavior is that if a process index is needed it will fail.
- * */
-const int ProcessIndexMissing = -1;
-
-/** Process index used when we don't care about the process index (SMPI privatization)
- * */
-const int ProcessIndexDisabled = -2;