for (e : edges) 
  if (marked[e[0]] == 0 && marked[e[1]] == 0)
    add_to_matching(e)