dbx knows the id of each thread (the type thread_t) as returned by thr_create(). The syntax is t@number.
