Symbol: TCA_U32_MARK