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 ());;