Extracted SpecPrinter