The following memory was leaked: ALLOC (Rust heap, size: 16, align: 4) {
$stripped$
}

error: the evaluated program leaked memory

note: pass `-Zmiri-ignore-leaks` to disable this check

error: aborting due to previous error