module dstress.run.html_entity_box;
int main(){
static assert('┐' == 0x2510);
static assert('╕' == 0x2555);
static assert('╖' == 0x2556);
static assert('╗' == 0x2557);
static assert('┌' == 0x250C);
static assert('╒' == 0x2552);
static assert('╓' == 0x2553);
static assert('╔' == 0x2554);
static assert('─' == 0x2500);
static assert('═' == 0x2550);
static assert('┬' == 0x252C);
static assert('╤' == 0x2564);
static assert('╥' == 0x2565);
static assert('╦' == 0x2566);
static assert('┴' == 0x2534);
static assert('╧' == 0x2567);
static assert('╨' == 0x2568);
static assert('╩' == 0x2569);
static assert('┘' == 0x2518);
static assert('╛' == 0x255B);
static assert('╜' == 0x255C);
static assert('╝' == 0x255D);
static assert('└' == 0x2514);
static assert('╘' == 0x2558);
static assert('╙' == 0x2559);
static assert('╚' == 0x255A);
static assert('│' == 0x2502);
static assert('║' == 0x2551);
static assert('┼' == 0x253C);
static assert('╪' == 0x256A);
static assert('╫' == 0x256B);
static assert('╬' == 0x256C);
static assert('┤' == 0x2524);
static assert('╡' == 0x2561);
static assert('╢' == 0x2562);
static assert('╣' == 0x2563);
static assert('├' == 0x251C);
static assert('╞' == 0x255E);
static assert('╟' == 0x255F);
static assert('╠' == 0x2560);
return 0;
}