TeX source:
x =16