Symbol: __counted_by_le