See str.translate.