def convert_string(string, chars=None):
if chars is None:<EOL><INDENT>chars = ['<STR_LIT:U+002C>', '<STR_LIT:.>', '<STR_LIT:->', '<STR_LIT:/>', '<STR_LIT::>', '<STR_LIT:U+0020>']<EOL><DEDENT>for ch in chars:<EOL><INDENT>if ch in string:<EOL><INDENT>string = string.replace(ch, '<STR_LIT:U+0020>')<EOL><DEDENT><DEDENT>return string<EOL>
Remove certain characters from a string.