xbt_cfgelm_int, &default_value_int, 0, 1,
_surf_cfg_cb__surf_network_fullduplex, NULL);
xbt_cfg_setdefault_int(_surf_cfg_set, "fullduplex", default_value_int);
xbt_cfgelm_int, &default_value_int, 0, 1,
_surf_cfg_cb__surf_network_fullduplex, NULL);
xbt_cfg_setdefault_int(_surf_cfg_set, "fullduplex", default_value_int);