FINISHED [SimThreadState]:
null