Loading safety analysis for SRET...