+extern int timeout_value; /* child timeout value */
+extern int sort_len; /* length of the prefix to sort */
+extern char* option; /* cfg for command line */
+#define SORT_LEN_DEFAULT 19
+extern int coverage; /* coverage */
+
+extern rctx_t rctx;
+extern const char *testsuite_name;
+
+
+/* Environment related definitions */
+# ifdef __APPLE__
+/* under darwin, the environment gets added to the process at startup time. So, it's not defined at library link time, forcing us to extra tricks */
+# include <crt_externs.h>
+# define environ (*_NSGetEnviron())
+# else
+/* the environment, as specified by the opengroup, used to initialize the process properties */
+extern char **environ;
+# endif
+
+extern xbt_dict_t env; /* the environment, stored as a dict (for variable substitution) */