Symbol: TERM_PUSH_SHIFT