def get_list(self):
return self.get_string().split('<STR_LIT:U+002C>')<EOL>
Fetch a list of strings from the stream.  These are trivially encoded
as comma-separated values in a string.

@return: a list of strings.
@rtype: list of strings