Symbol: ICR_ASSERT_ATN