Symbol: current_user_stack_pointer