return body;
}
public byte[] toBytes() throws IOException {
ByteArrayOutputStream bout = new ByteArrayOutputStream();
BinaryOutputStream bos = new BinaryOutputStream(bout);
BinaryAutomataWriter bw = new BinaryAutomataWriter(bos, SCHEMA);
bw.write(automaton);
bw.flush();
return bout.toByteArray();
}