Symbol: DTSEC_RM_POOL_RX_HIGH_MARK