///|
fn pdf_page_inheritable_keys() -> Array[@core.PdfName] {
  [
    pdf_page_mediabox_key(),
    pdf_page_cropbox_key(),
    pdf_page_rotate_key(),
    pdf_page_resources_key(),
  ]
}

///|
fn PdfDocument::pdf_page_preserve_materialized_inherited_entries(
  self : PdfDocument,
  source : PdfDocument,
  old_page_numbers : ArrayView[Int],
  new_page_numbers : ArrayView[Int],
) -> Unit raise @core.PdfError {
  for index in 0.. updated = updated.add_dict_entry(key, value)
        None => ()
      }
    }
    if updated != original {
      self.add_object_given_number(new_page_number, updated)
    }
  }
}

///|