Symbol: REGISTER_TYPE_STACK_POINTER