Symbol: solvable_lookup_void