static void instr_user_variable(double time, const char *resource, const char *variable, const char *father_type,
double value, InstrUserVariable what, const char *color, xbt_dict_t filter)
{
static void instr_user_variable(double time, const char *resource, const char *variable, const char *father_type,
double value, InstrUserVariable what, const char *color, xbt_dict_t filter)
{