TeX source:
x= 100