Lines Matching full:principle
5514 % . we're printing identifiers, they should be in tt in principle.
