xbt_dynar_t names = xbt_str_split(lua_tostring(L, -1), ", \t\r\n");
if (xbt_dynar_is_empty(names)) {
/* unique name with no comma */
xbt_dynar_t names = xbt_str_split(lua_tostring(L, -1), ", \t\r\n");
if (xbt_dynar_is_empty(names)) {
/* unique name with no comma */