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