Control-flow_resynchronization loading ...