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