#ifndef __WCHAR_TYPE__
#define __WCHAR_TYPE__ int
#endif
typedef __WCHAR_TYPE__ wchar_t;
extern int strcmp (const char *, const char *);
extern int puts (const char *);
extern void abort (void);
#define err(str) do { puts(str); abort(); } while (0)
const char *str1 = "s\
t\
\
r??/
1";
const char x = '\
??/
b';
const char *term = "\"\\\"\\";
const char termc = '\'';
const char *terms = "'";
const wchar_t wchar = L'w';
const wchar_t* wstring = L"wide string";
const char *t = "??/\??<??>??=??)??\
(??(??!??'??-???=???/
?-";
int main (int argc, char *argv[])
{
if (strcmp (str1, "str 1"))
err ("str1");
if (x != 'b')
err ("b");
if (strcmp (t, "\\{}#]?" "?([|^~?#??" "-"))
err ("Embedded trigraphs");
if (term[0] != '"' || term[1] != '\\' || term[2] != '"'
|| term[3] != '\\' || term[4] != '\0')
err ("Escaped string terminators");
if (termc != terms[0])
err ("Escaped character constant terminator");
return 0;
}