High_Integrity_C++ loading ...