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