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