/* The extensions made for the SimGrid project can either be distributed */
/* under the same license, or under the LGPL v2.1 */
/* The extensions made for the SimGrid project can either be distributed */
/* under the same license, or under the LGPL v2.1 */