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