Symbol: linear_search