Lines Matching refs:uninterpreted
5160 % We save the uninterpreted tokens, rather than creating a box.