(page-linear) begin
(page-linear) read/modify/write pass one
(page-linear) read/modify/write pass two
(page-linear) read pass
(page-linear) end
page-linear: exit(0)