r1.setRecordVal(r0);
FileOutputStream ostream = new FileOutputStream(tmpfile);
DataOutputStream dostream = new DataOutputStream(ostream);
TypedBytesRecordOutput out = TypedBytesRecordOutput.get(dostream);
r1.serialize(out, "");
dostream.close();
ostream.close();
FileInputStream istream = new FileInputStream(tmpfile);
DataInputStream distream = new DataInputStream(istream);