TeX source:
z = 10