(BIN) libc.dvi.gz