protected void putDBPointer(String name, String ns, ObjectId oid) { _put(REF, name); _putValueString(ns); _buf.writeInt(oid._time()); _buf.writeInt(oid._machine()); _buf.writeInt(oid._inc()); }