Hi! I'm playing with threads, and in order to better see what's going on, I'd like to have two more predicates: - One for thread.channel, which returns the current length of the channel. - One for thread.semaphore, which returns the current value of the semaphore. It would be nice, if those could be added. :) Cheers, Volker