Symbol: S_TCB_TOS