let set_entry entry mode page_address =   memory.(entry) <- int_of_mode mode;   memory.(entry+1) <- page_address;; let allocate_page ptable page_nb =   let entry = entry_address ptable page_nb in   set_entry entry RW (new_page ());;