return readFromBinaryFile(stream, false);
}
private ATerm readFromBinaryFile(InputStream stream, boolean headerRead) throws ParseError, IOException {
BAFReader r = new BAFReader(this, stream);
return r.readFromBinaryFile(headerRead);
}
private ATerm readSAFFromOldStyleStream(InputStream stream) throws IOException{
ByteArrayOutputStream baos = new ByteArrayOutputStream();
byte[] buffer = new byte[4096];