TeX source:
b2=16