pub fn return_contract<H>(interpreter: &mut Interpreter, _host: &mut H)
where H: Host + ?Sized,