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