スレッド番号

dbx は、thr_create() によって返される各スレッド (型 thread_t) の ID を認識します。この構文は t@number です。