[DF5201] RESULT: 0/8 rounds handed a recycled td carrying a stale (leaked, never-dropped) task_struct as td_linux_task; 0/8 rounds recycled W1's task address (freed at exit = fix working)
[DF5201] r1 PARKED: exited td=0xfffff8008e10b680 is clean (task dropped at lwkt_exit)
[DF5201] r2 PARKED: exited td=0xfffff8008e10c380 is clean (task dropped at lwkt_exit)
[DF5201] r3 PARKED: exited td=0xfffff8008e10d080 is clean (task dropped at lwkt_exit)
[DF5201] r4 PARKED: exited td=0xfffff8008e10dd80 is clean (task dropped at lwkt_exit)
[DF5201] r5 PARKED: exited td=0xfffff8008e10e400 is clean (task dropped at lwkt_exit)
[DF5201] r6 PARKED: exited td=0xfffff8008e10f100 is clean (task dropped at lwkt_exit)
[DF5201] r7 PARKED: exited td=0xfffff8008e10fe00 is clean (task dropped at lwkt_exit)
[DF5201] r8 PARKED: exited td=0xfffff8008e110480 is clean (task dropped at lwkt_exit)
[DF5201] RESULT: 0/8 exited kthreads left a leaked, never-dropped task_struct on their parked td (THE LEAK); 0/8 rounds handed a RECYCLED td with stale td_linux_task to a live thread (bzero prevents this); 0/8 rounds recycled W1's task address