Use of `Layout`,`alloc` and `dealloc` to create and free dynamic arrays · model-checking/verify-rust-std · Discussion #104