TeX source:
d '(4) = 128