MAIN_LOOP [SimThreadState]:
null