pub fn sload<H, SPEC>(interpreter: &mut Interpreter, host: &mut H)where H: Host + ?Sized, SPEC: Spec,