/*** Options ***/
int timeout_value = 5; /* child timeout value */
int sort_len = 19; /* length of the prefix to sort */
+char *option;
+rctx_t rctx;
const char *testsuite_name;
+
+xbt_dict_t env;
+
static void handle_line(const char *filepos, char *line)
{
/* Search end */