Sheltered_instruction loading ...