int main(){ assert(''==0x10FC7C); assert(''==0x10FC7C); return 0; }