static void
validate_addr(size_t* adr) {
  if(adr < 0 || adr == NULL || (!is_user_vaddr(adr)) || (pagedir_get_page (thread_current()->pagedir, adr) == NULL)) {
      exit(-1);
  }
}