module dstress.run.html_entity_num;
int main(){
static assert('&' == 38);
static assert(''' == 0x00027);
static assert('*' == 0x0002A);
static assert('¦' == 0x000A6);
static assert('\' == 0x0005C);
static assert('¢' == 0x000A2);
static assert(':' == 0x0003A);
static assert(',' == 0x0002C);
static assert('@' == 0x00040);
static assert('©' == 0x000A9);
static assert('¤' == 0x000A4);
static assert('↓' == 0x02193);
static assert('°' == 0x000B0);
static assert('÷' == 0x000F7);
static assert('$' == 0x00024);
static assert('=' == 0x0003D);
static assert('!' == 0x00021);
static assert('½' == 0x000BD);
static assert('¼' == 0x000BC);
static assert('⅛' == 0x0215B);
static assert('¾' == 0x000BE);
static assert('⅜' == 0x0215C);
static assert('⅝' == 0x0215D);
static assert('⅞' == 0x0215E);
static assert('>' == 0x0003E);
static assert('½' == 0x000BD);
static assert('―' == 0x02015);
static assert('‐' == 0x02010);
static assert('¡' == 0x000A1);
static assert('¿' == 0x000BF);
static assert('«' == 0x000AB);
static assert('←' == 0x02190);
static assert('{' == 0x0007B);
static assert('“' == 0x0201C);
static assert('_' == 0x0005F);
static assert('(' == 0x00028);
static assert('[' == 0x0005B);
static assert('‘' == 0x02018);
static assert('<' == 60);
static assert('µ' == 0x000B5);
static assert('·' == 0x000B7);
static assert(' ' == 0x000A0);
static assert('¬' == 0x000AC);
static assert('#' == 0x00023);
static assert('Ω' == 0x02126);
static assert('ª' == 0x000AA);
static assert('º' == 0x000BA);
static assert('¶' == 0x000B6);
static assert('%' == 0x00025);
static assert('.' == 0x0002E);
static assert('+' == 0x0002B);
static assert('±' == 0x000B1);
static assert('£' == 0x000A3);
static assert('?' == 0x0003F);
static assert('"' == 0x00022);
static assert('»' == 0x000BB);
static assert('→' == 0x02192);
static assert('}' == 0x0007D);
static assert('”' == 0x0201D);
static assert('®' == 0x000AE);
static assert(')' == 0x00029);
static assert(']' == 0x0005D);
static assert('’' == 0x02019);
static assert('§' == 0x000A7);
static assert(';' == 0x0003B);
static assert('' == 0x000AD);
static assert('/' == 0x0002F);
static assert('♪' == 0x0266A);
static assert('¹' == 0x000B9);
static assert('²' == 0x000B2);
static assert('³' == 0x000B3);
static assert('×' == 0x000D7);
static assert('™' == 0x02122);
static assert('↑' == 0x02191);
static assert('|' == 0x0007C);
static assert('¥' == 0x000A5);
return 0;
}