def unescape_specials(s):
return s.replace('<STR_LIT>', '<STR_LIT:\n>').replace('<STR_LIT>', '<STR_LIT:\r>').replace('<STR_LIT>', '<STR_LIT:\t>')<EOL>
utility method to escape special characters in a string