Symbol: current_top_of_stack