Type immutable but indirect memory loads consistently