Abstract operations
OutputPrinter and InputPrinter tests