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