Factor out ASRFile