module dstress.run.h.html_entity_spezial;
int main(){
static assert('&' == 38);
static assert(''' == 39);
static assert('„' == 8222);
static assert('ˆ' == 710);
static assert('†' == 8224);
static assert('‡' == 8225);
static assert(' ' == 8195);
static assert(' ' == 8194);
static assert('€' == 8364);
static assert('>' == 62);
static assert('“' == 8220);
static assert('' == 8206);
static assert('‹' == 8249);
static assert('‘' == 8216);
static assert('<' == 60);
static assert('—' == 8212);
static assert('–' == 8211);
static assert('Œ' == 338);
static assert('œ' == 339);
static assert('‰' == 8240);
static assert('"' == 34);
static assert('”' == 8221);
static assert('' == 8207);
static assert('›' == 8250);
static assert('’' == 8217);
static assert('‚' == 8218);
static assert('Š' == 352);
static assert('š' == 353);
static assert(' ' == 8201);
static assert('˜' == 732);
static assert('Ÿ' == 376);
static assert('' == 8205);
static assert('' == 8204);
return 0;
}