printk ("%s waiting %zu: ", thread_current ()->name, count);
for (i = 0; i < count; i++);
printk ("%s\n", thread_current ()->name);
printk ("%s waiting %zu: ", thread_current ()->name, count);
for (i = 0; i < count; i++);
printk ("%s\n", thread_current ()->name);