DF4522: inserted 64 mappings per tree; tree_nonempty=1 rb_leftmost=0 rb_first=0xfffff8008d8a20b8
DF4522: BUGGED  fini loop: iterations=0 freed=0 LEAKED=64 (tree still nonempty=1)
DF4522: FIXED  fini loop: iterations=64 freed=64 LEAKED=0 (tree empty=1)
DF4522: VERDICT buggy_loop_leaked=64 fixed_loop_leaked=0
 4    1 0xffffffff82600000     2000 df4522demo.ko
UNLOADED