ASR-complete loading ...