Semantically-secure loading ...