## Brief The `elementary/BumpAllocator` is using a raw pointer for `start`. Check if it can be replaced by a `NonNull<u8>`.