Faster binary search: from compiled code to mechanical sympathy