/* code */ xbt_main_func_t,
/* userdata */ void*,
/* hostname */ const char*,
+ /* kill_time */ double,
/* argc */ int,
/* argv */ char**,
/* props */ xbt_dict_t);
xbt_main_func_t code,
void *data,
const char *hostname,
+ double kill_time,
int argc, char **argv,
xbt_dict_t properties);