TeX source:

b=23