code: def str(self, space=False):
      
      return "%s/%s (%s)" % (str(int(self.id)).rjust(space and 4),
                             self.name.ljust(space and 50),
                             "; ".join(str(a) for a in self.args))
docs: String version. Set space=True to line them all up nicely.