TeX source:
0=8