1 The following memory was leaked: ALLOC (Rust heap, size: 32, align: 8) {
2 0x00 │ 01 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 │ ................
3 0x10 │ 00 00 00 00 00 00 00 00 ╾$HEX[a1765]<TAG>─╼ │ ........╾──────╼
6 error: the evaluated program leaked memory
8 note: pass `-Zmiri-ignore-leaks` to disable this check
10 error: aborting due to previous error