tr80 bit d:o ; Pauli & c:o .!