use buffer;
use craterecv;
// SAFETY: Lease delegates both views to its bounded provided Unique.
// AsMut returns the same stored slice without changing its bytes or descriptor.
unsafe
// SAFETY: the bounded provided owner admits and returns the exact disjoint
// prefix without changing its owner, initialized contents or driver lifetime.
unsafe
// SAFETY: conversion moves the same bounded provided allocation, extent and owner.
unsafe