#1496: revert str.translate() to the old version, and add

str.maketrans() to make a table in a more comfortable way.