let
recode () str = str