(module OutputDrawing)