public final void write(Directory d, String name) throws IOException {
OutputStream output = d.createFile(name);
try {
output.writeInt(size()); // write size
output.writeInt(count()); // write count
output.writeBytes(bits, bits.length); // write bits
} finally {
output.close();
}
}