WK_PAGEDEP
pagedep = WK_PAGEDEP(wk);
initiate_write_filepage(WK_PAGEDEP(wk), bp);
if (handle_written_filepage(WK_PAGEDEP(wk), bp))
pagedep = WK_PAGEDEP(wk);
pagedep = WK_PAGEDEP(wk);