Provably_secure loading ...