verified correctness of ExtractLinks
verified correctness of ExtractLinks