Am I missing something? Why extract it to ``DEFAULT_STREAM`` when you only use it here?