6× faster binary search: from compiled code to mechanical sympathy