-/* Copyright (c) 2007, 2009-2014. The SimGrid Team.
+/* Copyright (c) 2007, 2009-2015. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
extern smpi_privatisation_region_t smpi_privatisation_regions;
extern int smpi_loaded_page;
+extern int smpi_universe_size;
int SIMIX_process_get_PID(smx_process_t self);