POST_LOOP [SimThreadState]:
null