Symbol: S_TCB_STAG