(BIN) macros.zoo
 (BIN) textdvi.zoo