def _str_list_converter(argument):
if argument is None:<EOL><INDENT>return []<EOL><DEDENT>else:<EOL><INDENT>return [s.strip() for s in argument.split('<STR_LIT:U+002C>')]<EOL><DEDENT>
A directive option conversion function that converts the option into a list
of strings. Used for 'skip' option.