+/* Get the PID of the current (simulated) process */
+XBT_PUBLIC_DATA(int_f_void_t) xbt_getpid;
+
+/* Get the name of the UNIX process englobing the world */
+XBT_PUBLIC_DATA(char*) xbt_binary_name;
+
+/** Contains all the parameters we got from the command line (including argv[0]) */
+XBT_PUBLIC_DATA(xbt_dynar_t) xbt_cmdline;