strcmp (undo_string_escapes ("abc\a\b\n\r\t\v\f123"),
 	"abc\\a\\b\\n\\r\\t\\v\\f123")
