Use Copilot to Write and Translate a Binary Search Algorithm