Symbol: solvable_lookup_location