How Developers Search for Code: A Case Study