visitor: Simple doc printer.