+/* Get the name of the UNIX process englobing the world */
+XBT_PUBLIC_DATA std::string binary_name;
+/** Contains all the parameters we got from the command line (including argv[0]) */
+XBT_PUBLIC_DATA std::vector<std::string> cmdline;
+
+} // namespace xbt
+} // namespace simgrid
+#endif
+
+SG_BEGIN_DECL
+
+XBT_PUBLIC const char* xbt_procname(void);
+
+XBT_PUBLIC int xbt_getpid(void);
+
+SG_END_DECL
+
+#endif /* XBT_VIRTU_H */