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