TeX source:
b=9