12#ifndef CPROVER_ANSI_C_LITERALS_UNESCAPE_STRING_H
13#define CPROVER_ANSI_C_LITERALS_UNESCAPE_STRING_H
unsigned hex_to_unsigned(const char *, std::size_t digits)
std::basic_string< char32_t > unescape_wide_string(const std::string &)
unsigned octal_to_unsigned(const char *, std::size_t digits)
std::string unescape_string(const std::string &)