public void serialize(DataOutputStream dos) throws IOException {
dos.writeInt(SPAWN_INDEXED_SEQ_SCAN);
dos.writeLong(handle);
dos.writeInt(insertLow);
dos.writeInt(insertHigh);
dos.writeInt(deleteLow);
dos.writeInt(hwm);
dos.writeBoolean(seeDeleted);
}
public void serialize(DataOutputStream dos) throws IOException {
dos.writeInt(SPAWN_SEQ_SCAN);
dos.writeLong(handle);
}