DF5141F: softc=0xfffff8008dd19700 enq2=0xfffff800897a5000 (sz=128) dmat=0xfffff8008bbd64a0
DF5141F: mlx_free #1 (only) (mlx.c:453 path) ...
DF5141F: mlx_free #1 (only) returned (clean teardown, as designed)
DF5141F: v1=0xfffff800897a5000 owns the freed block: YES
DF5141F: (fixed caller) second mlx_free SKIPPED
DF5141F: v2=0xfffff800897a5080 v3=0xfffff800897a5100
DF5141F: RESULT=CLEAN M-bM^@M^T no double free, no aliasing: patched error path is safe
DF5141F: unload (test objects intentionally leaked)