The Contract of Unsafe Functions

You will write documentation that explicitly details the prerequisites for callers to uphold memory safety.