ws_pack
ws_pack(&md->current_writeset->md, &disk->current_writeset);
ws_pack(&md->current_writeset->md, &value);