code: def print(self, *args, end='\n', file=None):
          
          if file is None:
              file = self.stdout
          s = ' '.join(str(arg) for arg in args) + end
          file.write(s)
docs: Convenience function so you don't need to remember to put the \n
             at the end of the line.