def _arguments(self, char):
        """Parses arguments of a CSI sequence.

        All parameters are unsigned, positive decimal integers, with
        the most significant digit sent first. Any parameter greater
        than 9999 is set to 9999. If you do not specify a value, a 0
        value is assumed.
        """
        if char.isdigit():
            self.current += char
        else:
            self.params.append(min(int(self.current or 0), 9999))
            if char == ';':  # multiple parameters
                self.current = ''
            else:
                self.dispatch(self.csi[char], *self.params)
Parses arguments of a CSI sequence.

        All parameters are unsigned, positive decimal integers, with
        the most significant digit sent first. Any parameter greater
        than 9999 is set to 9999. If you do not specify a value, a 0
        value is assumed.
        
system/shstreams.py