Software_system_safety loading ...