TeX source:
s = 7