remove character `char` from a string `a`,"a = a.replace(char, '')"