TeX source:
a=-1