for (v: vertex) { u <- 0 if (dfs(v)) size++ }