Code Editor : kill_at_sync_point.inc