Learn more about cloning repositories
You have read-only access
Perform a destroy_addr followed by a dealloc_stack with a single witness call.