void main(){ int x=1; printf("%d\n",x=2); }
' >2012 >using 8-bit bytes for obsolete 8-bit character sets