TeX source:
z = 8