output.write_uv(MINOR_VERSION);
// third, write the various pool sizes
output.write_uv(stringPool.size());
output.write_uv(pathPool.size());
output.write_uv(namePool.size());
output.write_uv(typePool.size());
output.write_uv(constantPool.size());
// finally, write the number of remaining blocks
output.write_uv(module.declarations().size());