Convert a Unicode string `a` to a 'ascii' string,"a.encode('ascii', 'ignore')"