TeX source:
x=-1