`@stdout` is not a good name because it is not the standard output. It is just an output object.