please file a new bug for changing the fact that we use the number everywhere instead of the thread id, and put the bug number here