while (run) { 
  u <- 0 
  run = 0 
  forn(v, n) 
    if (!paired[v] && dfs(v)) 
      run = 1
}