threadState [SimThreadState]:
null