docs: def ints(l, ifilter=lambda x: x, idescr=None):
      """ Parses a comma-separated list of ints. """
      if isinstance(l, string_types):
          if l[0] == '[' and l[-1] == ']':
              l = l[1:-1]
          l = list(map(lambda x: x.strip(), l.split(',')))
      try:
          l = list(map(ifilter, list(map(int, l))))
      except:
          raise ValueError("Bad list of {}integers"
                           .format("" if idescr is None else idescr + " "))
      return l