write_initialized_page
finish_page_write : write_initialized_page),
write_initialized_page(completion);