Separated look_symbol from pop_symbol.  This approach preserves the symbol as a
single value.