PRE_LOOP [SimThreadState]:
null