* src/threads/threads-common.h (THREAD_STATE_*): Changed to be