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;
}