get_string() handles escape characters in strings