yield() used ordered wait. That's unnecessary and makes priorities not work properly.